Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
821	Rivière or Fleuve? Modelling Multilinguality in the Hydrographical Domain Guadalupe Aguado-de-Cea, Asunción Gómez-Pérez, Elena Montiel-Ponsoda, and Luis M. Vilches-Blázquez Ontology Engineering Group Dpto. de Inteli Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2010-04-20 12:39:24 Knowledge representation Information science Semantic Web Knowledge engineering Formal ontology WordNet Upper ontology OBO Foundry Ontology Science Information
822	Automated Probabilistic Address Standardisation and Verification http://datamining.anu.edu.au/linkage.html Peter Christen? and Daniel Belacic Department of Computer Science, Australian National University, Add to Reading List Source URL: cs.anu.edu.au Language: English - Date: 2005-12-07 18:17:06 Linguistics Bioinformatics Computational linguistics Formal sciences Hidden Markov model Part-of-speech tagging Speech recognition Lookup table Extract transform load Markov models Science Computing
823	PRESS RELEASE Blue Yonder CEO talks importance of optimising digital infrastructures for international success at CeBIT As a member of the Smart Service World initiative, Uwe Weiss provides recommendations to German Chan Add to Reading List Source URL: www.blue-yonder.com Language: English - Date: 2014-12-11 02:45:22 Business Science Data analysis ADAPA Predictive analytics CeBIT Analytics Data mining German Academy of Science and Engineering Business intelligence Statistics Formal sciences
824	A Ship without a Rudder Ranulph Glanville CybernEthics Research®, Southsea, UK Abstract In order to excavate something of cybernetics, I look at the notion of stability. Stability is related to the basic cybernetic conc Add to Reading List Source URL: www.univie.ac.at Language: English - Date: 1999-07-16 07:34:01 Control theory Knowledge Systems theory Formal sciences Systems Second-order cybernetics Error Stability Feedback Science Cybernetics Ethology
825	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
826	Efficient Noise-Tolerant Learning from Statistical Queries MICHAEL KEARNS AT&T Laboratories—Research, Florham Park, New Jersey Abstract. In this paper, we study the problem of learning in the presence of classificatio Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2003-04-11 14:26:30 Mathematics Formal sciences Cybernetics Computational learning theory Pattern recognition Information theory Decision tree model PP Logarithm Theoretical computer science Applied mathematics Machine learning
827	Microsoft PowerPoint - Seshia-Induction-Deduction-DATE13 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-03-18 09:59:28 Electronic design automation Theoretical computer science Applied mathematics Temporal logic Logic in computer science Linear temporal logic Uclid Formal verification Logic synthesis Electronic engineering Problem solving Reasoning
828	Testing and evaluating large-scale agricultural simulation models Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-16 03:22:51 Theoretical computer science Scientific modeling Ethology Interpretation Scientific modelling Hydrological modelling Formal verification Economic model Verification and validation Formal methods Hydrology Applied mathematics
829	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: dirichlet.mat.puc.cl Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
830	Disclosure log Council’s Disclosure Log is a record of information about formal Access Applications to Council that would be of interest to other members of the public, in accordance with the Government Information (Pu Add to Reading List Source URL: www.cowracouncil.com.au Language: English - Date: 2013-12-22 21:54:49 Cowra Document Science Information science Cowra Shire Government procurement in the United States

UPDATE